max [ Y , max $integral dX$ $partialdiff sub Y$ ( WORLDBATH bath ) ]